<html>
<body>
<div id=result></div>
<script>
function log(message)
{
  document.getElementById("result").innerHTML += message + "<br>";
}

var url = document.location.toString();
var id = parseInt(url.substr(url.search("id=") + 3));
log("Shutting down worker #" + id);
var worker = new SharedWorker("worker_common.js?id=" + id);
worker.port.postMessage("close");
</script>

</body>
</html>
